Fundamenta Informaticae - PDFSEARCH.IO - Document Search Engine

Fundamenta Informaticae
Results: 47

#	Item
11	Fundamenta Informaticae XX–5 1 IOS Press Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-11-13 09:59:30
12	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
13	Fundamenta Informaticae–6 1 DOIFIIOS Press Add to Reading List Source URL: www-cc.cs.uni-saarland.de Language: English - Date: 2012-05-16 12:06:41 Polynomials Tutte polynomial Chromatic polynomial Matching Matroid SchwartzZippel lemma BollobsRiordan polynomial
14	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
15	Fundamenta Informaticae–20 1 IOS Press Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2001-02-03 17:50:25
16	FUNDAMENTA INFORMATICAE GUEST EDITORS Sarah Gaggl TU Dresden, Germany Add to Reading List Source URL: lia.deis.unibo.it Language: English - Date: 2015-10-06 03:55:31
17	Fundamenta Informaticae–20 1 IOS Press Add to Reading List Source URL: boris.ryabko.net Language: English - Date: 2009-08-20 08:31:59
18	Fundamenta Informaticae XXI–IOS Press Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-08-15 03:03:16
19	Fundamenta Informaticae Submitted–26 1 IOS Press Add to Reading List Source URL: www.iasi.cnr.it Language: English - Date: 2015-09-22 10:08:30
20	Fundamenta Informaticae XX–29 1 IOS Press Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00

UPDATE